4

Ueber einige alpine serpentine

Year:
1883
Language:
german
File:
PDF, 1004 KB
german, 1883
6

On Derbylite, a New Antimono-titanate of Iron, from Tripuhy, Brazil

Year:
1897
Language:
english
File:
PDF, 137 KB
english, 1897
7

Decidable Cases of First-order Temporal Logic with Functions

Year:
2008
Language:
english
File:
PDF, 234 KB
english, 2008
11

Star graph automorphisms and disjoint Hamilton cycles

Year:
2013
Language:
english
File:
PDF, 158 KB
english, 2013
12

Monodic temporal logic with quantified propositional variables

Year:
2012
Language:
english
File:
PDF, 259 KB
english, 2012
14

A Design Phase Directed Formal Verification Process

Year:
1999
Language:
english
File:
PDF, 91 KB
english, 1999
17

Expressing requirements on a parallel system formally

Year:
1996
Language:
english
File:
PDF, 1004 KB
english, 1996
18

Mineralogische Notizen aus Brasilien

Year:
1899
Language:
german
File:
PDF, 1.29 MB
german, 1899
19

Disjoint Hamilton cycles in transposition graphs

Year:
2016
Language:
english
File:
PDF, 453 KB
english, 2016
20

On CCS with parametric relabelling

Year:
1996
Language:
english
File:
PDF, 314 KB
english, 1996
26

On Senaite, a new Mineral belonging to the Ilmenite Group, from Brazil

Year:
1898
Language:
english
File:
PDF, 116 KB
english, 1898
27

The serializability problem for a temporal logic of transaction queries

Year:
2008
Language:
english
File:
PDF, 202 KB
english, 2008
31

Decidable Cases of First-Order Temporal Logic with Functions

Year:
2008
Language:
english
File:
PDF, 1.23 MB
english, 2008
35

Serializable histories in quantified propositional temporal logic

Year:
2004
Language:
english
File:
PDF, 124 KB
english, 2004
37

Lewisite and Zirkelite, Two New Brazilian Minerals

Year:
1895
Language:
english
File:
PDF, 325 KB
english, 1895
40

On Tripuhyite, a New Antimonate of Iron, from Tripuhy, Brazil

Year:
1897
Language:
english
File:
PDF, 66 KB
english, 1897
41

Formal Analysis of Memory Requirements

Year:
1999
Language:
english
File:
PDF, 102 KB
english, 1999